Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem Tommaso Urli Dept. of Electrical, Management and Mechanical Engineering University of Udine, Via Delle Scienze, [removed]Udine, Italy tommaso.urli@uniu

Source URL: tunnuz.net

• Local search
• Constraint programming
• Hybrid algorithm
• Local consistency

A Hybrid ACO+CP for Balancing Bicycle Sharing Systems Luca Di Gaspero1 , Andrea Rendl2 , and Tommaso Urli1 1 Department of Electrical, Management and Mechanical Engineering,

Source URL: tunnuz.net

• Theoretical computer science
• Decomposition method
• Ant colony optimization algorithms
• Local consistency
• FO
• Routing
• Constraint programming
• Software engineering
• Computer programming

Partial Valuation Structures for Qualitative Soft Constraints Alexander Schiendorfer, Alexander Knapp, Jan-Philipp Stegh¨ofer, Gerrit Anders, Florian Siefert, and Wolfgang Reif Institute for Software & Systems Engineeri

Source URL: www.isse.uni-augsburg.de

• Local consistency
• Constraint satisfaction
• Constraint
• Relational model
• Artificial intelligence
• Constraint inference
• Decomposition method
• Constraint programming
• Computing
• Constraint satisfaction problem

Incremental Dynamic Controllability Revisited Mikael Nilsson and Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science Link¨oping University, SE[removed]Link¨oping, Sweden {mikni,jonkv,pat

Source URL: www.ida.liu.se

• Constraint programming
• Graph
• Flow network
• Local consistency
• Matroid theory
• Graph theory
• Mathematics
• Theoretical computer science

Constraint Satisfaction for Test Program Generation (Preliminary Version) Daniel Lewin* Laurent Fournier Moshe Levinger Evgeny Roytman Gil Shurek IBM Israel Science and Technology, Haifa Research Laboratory MATAM, Haifa

Source URL: www.research.ibm.com

• Computing
• Constraint satisfaction
• Test Data Generation
• Constraint
• Local consistency
• Constraint optimization
• Constraint programming
• Software engineering
• Computer programming

Classical Dynamic Controllability Revisited A Tighter Bound on the Classical Algorithm Mikael Nilsson, Jonas Kvarnstr¨om and Patrick Doherty Department of Computer and Information Science, Link¨oping University, SE-581

Source URL: www.ida.liu.se

• Applied mathematics
• Network flow
• Operations research
• Local consistency
• Flow network
• Bellman–Ford algorithm
• Decomposition method
• Constraint programming
• Theoretical computer science
• Mathematics

Value Ordering for Finding All Solutions Barbara M. Smith Cork Constraint Computation Centre, Ireland. [removed] Abstract

Source URL: ijcai.org

• Computing
• Local consistency
• Constraint satisfaction
• Backjumping
• Backtracking
• Search algorithm
• Lookup table
• Decomposition method
• Constraint optimization
• Constraint programming
• Computer programming
• Software engineering

Optimal Refutations for Constraint Satisfaction Problems Tudor Hulubei and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland [removed], b.osull

Source URL: www.ijcai.org

• Operations research
• Combinatorial optimization
• Heuristic function
• Heuristic
• Search algorithm
• Mathematical optimization
• Branch and bound
• Algorithm
• Local consistency
• Mathematics
• Constraint programming
• Heuristics

Walter Hower and Winfried H. Graf Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey

Source URL: scidok.sulb.uni-saarland.de

• Computing
• Constraint satisfaction
• Local consistency
• German Research Centre for Artificial Intelligence
• Constraint
• SCIP
• Computer-aided design
• Logic programming
• Constraint programming
• Software engineering
• Computer programming

Certification by State or Local Official of PHA Plans Consistency with the Consolidated Plan U.S. Department of Housing and Urban Development Office of Public and Indian Housing

Source URL: doa.wi.gov